On a Method of Describing Formal Deductions Convenient for Theoretical Purposes
نویسندگان
چکیده
منابع مشابه
A convenient Simple Method for Synthesis of Meta-iodobenzylguanidine (MIBG)
Radioiodinated meta iodobenzylguanidine (MIBG) is one of the important radiopharmaceuticals in Nuclear Medicine. [123/131I]MIBG is used for imaging of Adrenal medulla, studying heart sympathetic nerves, treatment of pheochromacytoma and neuroblastoma. For clinical application, radioiodinated MIBG is prepared through isotopic exchange method, which includes replacement of radioactive iodine in a...
متن کاملA convenient Simple Method for Synthesis of Meta-iodobenzylguanidine (MIBG)
Radioiodinated meta iodobenzylguanidine (MIBG) is one of the important radiopharmaceuticals in Nuclear Medicine. [123/131I]MIBG is used for imaging of Adrenal medulla, studying heart sympathetic nerves, treatment of pheochromacytoma and neuroblastoma. For clinical application, radioiodinated MIBG is prepared through isotopic exchange method, which includes replacement of radioactive iodine in a...
متن کاملa study on thermodynamic models for simulation of 1,3 butadiene purification columns
attempts have been made to study the thermodynamic behavior of 1,3 butadiene purification columns with the aim of retrofitting those columns to more energy efficient separation schemes. 1,3 butadiene is purified in two columns in series through being separated from methyl acetylene and 1,2 butadiene in the first and second column respectively. comparisons have been made among different therm...
Relating Test Purposes to Formal Speci cations: Towards a Theoretical Foundation of Practical Testing
1 The problems of current theoretical foundations of testing are its constraint to Finite State Machines (FSMs) and its inability to be related to real black box testing. In this paper we give a theoretical foundation of practical testing. This foundation also implies a test methodology. A test generation tool which is based on this methodology will be presented at the end. CR
متن کاملFormal proofs for theoretical properties of Newton's method
We discuss a formal development for the certification of Newton’s method. We address several issues encountered in the formal study of numerical algorithms: developing the necessary libraries for our proofs, adapting paper proofs to suit the features of a proof assistant, and designing new proofs based on the existing ones to deal with optimizations of the method. We start from Kantorovitch’s t...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Nagoya Mathematical Journal
سال: 1969
ISSN: 0027-7630,2152-6842
DOI: 10.1017/s0027763000013131